Decomposition of synchronous sequential machines into synchronous and asynchronous submachines

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools

SAMS: Synchronous, Asynchronous, Multi-Synchronous Environments

In the context of cooperative work, a team alternates divergence phases where each member works in insulation on copies of objects and convergence phases during which the group reconciles and validates data. To support this style of working, we propose the concept of SAMS environments. A SAMS environment allows team members to work in Synchronous, Asynchronous or Multi-Synchronous mode while en...

Asynchronous vs. Synchronous Microporcessors

A circuit’s clock is often the single largest source of power dissipation is a digital system. Removing the clock should therefore reduce power consumption. The clock also forces the system to run at the worst case timing for every operation. Removing it should also allow the circuit to start the next operation upon completion of the current one. This is often the key motivation for designing a...

Verification of Synchronous Sequential Machines Based on Symbolic Execution

This paper presents an original method to compare two synchronous sequential machines. The method consists in a breadth first traversal of the product machine during which symbolic expressions of its observable behaviour are computed. ~Iqae method uses formal manipulations on boolean functions to avoid the state enumeration and diagram construction. For this purpose, new algorithms on boolean f...

Synchronous to Asynchronous Conversion

This work introduces a novel methodology that eases the synchronous to asynchronous conversion of existing digital circuits. Synchronous singlephased circuits may have its performance improved with the use of a variable rate clock generator if the conversion is done on some key circuits. This methodology is used to improve the performance of a soft-core implementation ofthe Blowfish cryptograph...